Feferman, K.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Alan Turing and the Turing Machine.; Turing's Analysis of Computability, and Major Applications of it.; The Confluence of Ideas in 1936.; Turing in the Land of O(z).; Mathematical Logic and the Origin of Modern Computers.;

Crossley, John N., Hodges, Andrew, Herken, Rolf, Kleene, Stephen C., Gandy, Robin, Feferman, Solomon, Davis, Martin, Phillips, Esther R.

Journal:

Journal of Symbolic Logic

Year:

1991

Language:

english

File:

PDF, 327 KB

english, 1991

2

Collected Works of Kurt Godel 1938-1974.

Kreisel, Georg, Godel, Kurt, Feferman, Solomon, Dawson, John W., Kleene, Stephen C., Moore, Gregory H., Solovay, Robert M., van Heijenoort, Jean

Journal:

Journal of Symbolic Logic

Year:

1991

Language:

english

File:

PDF, 566 KB

english, 1991

3

Does Mathematics Need New Axioms?

Solomon Feferman

Journal:

American Mathematical Monthly

Year:

1999

Language:

english

File:

PDF, 1.41 MB

english, 1999

4

Does Mathematics Need New Axioms?

Solomon Feferman, Harvey M. Friedman, Penelope Maddy and John R. Steel

Journal:

Bulletin of Symbolic Logic

Year:

2000

Language:

english

File:

PDF, 1.04 MB

english, 2000

5

Reflecting on Incompleteness

Solomon Feferman

Journal:

Journal of Symbolic Logic

Year:

1991

Language:

english

File:

PDF, 869 KB

english, 1991

6

Mathematical Intuition Vs. Mathematical Monsters*

Solomon Feferman

Journal:

Year:

2000

Language:

english

File:

PDF, 74 KB

english, 2000

7

[Lecture Notes in Mathematics] Reports of the Midwest Category Seminar III Volume 106 || Set-Theoretical foundations of category theory

Feferman, Solomon

Year:

1969

Language:

english

File:

PDF, 1.58 MB

english, 1969

8

What does logic have to tell us about mathematical proofs?

Solomon Feferman, S. Feferman

Journal:

The Mathematical Intelligencer

Year:

1979

Language:

english

File:

PDF, 540 KB

english, 1979

9

Are There Absolutely Unsolvable Problems? Godel's Dichotomy

Journal:

Philosophia Mathematica

Year:

2006

Language:

english

File:

PDF, 121 KB

english, 2006

10

The Food Factor as a Possible Catalyst for Holocaust-Related Decisions: The Crimea and the North Caucasus

Journal:

Year:

2008

Language:

english

File:

PDF, 155 KB

english, 2008

11

Nazi Germany and the Mountain Jews: Was There a Policy?

Journal:

Holocaust and Genocide Studies

Year:

2007

Language:

english

File:

PDF, 3.66 MB

english, 2007

12

Transfinite Recursive Progressions of Axiomatic Theories

Solomon Feferman

Journal:

Journal of Symbolic Logic

Year:

1962

Language:

english

File:

PDF, 6.20 MB

english, 1962

13

Nazi Germany and the Karaites in 1938–1944: between racial theory and Realpolitik

Feferman, Kiril

Journal:

Nationalities Papers

Year:

2011

Language:

english

File:

PDF, 140 KB

english, 2011

14

‘The Jews’ War’: Attitudes of Soviet Jewish Soldiers and Officers Toward the USSR in 1940–41

Feferman, Kiril

Journal:

The Journal of Slavic Military Studies

Year:

2014

Language:

english

File:

PDF, 183 KB

english, 2014

15

Hilbert's Program Relativized: Proof-Theoretical and Foundational Reductions

Solomon Feferman

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 616 KB

english, 1988

16

Toward Useful Type-Free Theories. I

Solomon Feferman

Journal:

Journal of Symbolic Logic

Year:

1984

Language:

english

File:

PDF, 743 KB

english, 1984

17

Predicative foundations of arithmetic

Solomon Feferman, Geoffrey Hellman

Journal:

Journal of Philosophical Logic

Year:

1995

Language:

english

File:

PDF, 781 KB

english, 1995

18

Tarski's conception of logic

Solomon Feferman

Journal:

Annals of Pure and Applied Logic

Year:

2004

Language:

english

File:

PDF, 186 KB

english, 2004

19

La Prédicativité.by Georges Kreisel

Review by: Solomon Feferman

Journal:

Journal of Symbolic Logic

Year:

1962

Language:

english

File:

PDF, 125 KB

english, 1962

20

Ideas and Results in Proof Theory.by Dag Prawitz; J. E. Fenstad

Review by: Solomon Feferman

Journal:

Journal of Symbolic Logic

Year:

1975

Language:

english

File:

PDF, 130 KB

english, 1975

21

Alfred Tarski: life and logic

Osmo Pekonen, Anita Burdman Feferman, Solomon Feferman, Krzysztof R. Apt

Journal:

The Mathematical Intelligencer

Year:

2007

Language:

english

File:

PDF, 368 KB

english, 2007

22

Two Contributions to the Foundations of Set Theoryby Richard Montague; Ernest Nagel; Patrick Suppes; Alfred Tarski

Review by: Solomon Feferman

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 222 KB

english, 1969

23

The Unknown Black Book: The Holocaust in the German-Occupied Soviet Territoriesby Joshua Rubenstein; Ilya Altman; Christopher Morris

Journal:

The Russian Review

Year:

2009

Language:

english

File:

PDF, 370 KB

english, 2009

24

Save Your Souls: Jewish Conversion and Survival in the Occupied Soviet Territories During the Holocaust1

Feferman, Kiril

Journal:

Year:

2019

Language:

english

File:

PDF, 171 KB

english, 2019

25

Kurt Gödel (Essays for His Centennial) || On the philosophical development of Kurt Gödel

Feferman, Solomon, Parsons, Charles, Simpson, Stephen G.

Year:

2010

Language:

english

File:

PDF, 365 KB

english, 2010

26

Harmonious logic: Craig’s interpolation theorem and its descendants

Solomon Feferman

Journal:

Year:

2008

Language:

english

File:

PDF, 215 KB

english, 2008

27

Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on finitism, constructivity and Hilbert's program

Solomon Feferman

Journal:

Year:

2008

Language:

english

File:

PDF, 137 KB

english, 2008

28

And so on . . . : reasoning with infinite diagrams

Solomon Feferman

Journal:

Year:

2012

Language:

english

File:

PDF, 376 KB

english, 2012

29

FOUNDATIONS OF UNLIMITED CATEGORY THEORY: WHAT REMAINS TO BE DONE

FEFERMAN, SOLOMON

Journal:

The Review of Symbolic Logic

Year:

2013

Language:

english

File:

PDF, 504 KB

english, 2013

30

Peano's Axioms and Models of Arithmeticby Th. Skolem

Review by: Solomon Feferman

Journal:

Journal of Symbolic Logic

Year:

1957

Language:

english

File:

PDF, 191 KB

english, 1957

31

Theories Incomparable with Respect to Relative Interpretability.by Richard Montague

Review by: S. Feferman

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 101 KB

english, 1971

32

A Soviet Humanitarian Action?: Centre, Periphery and the Evacuation of Refugees to the North Caucasus, 1941–1942

Feferman, Kiril

Journal:

Europe Asia Studies

Year:

2009

Language:

english

File:

PDF, 182 KB

english, 2009

33

In Memoriam: Kenneth Jon Barwise, 1942-2000

Solomon Feferman

Journal:

Bulletin of Symbolic Logic

Year:

2000

Language:

english

File:

PDF, 171 KB

english, 2000

34

The Logic of Mathematical Discovery vs. the Logical Structure of Mathematics

Feferman, Solomon

Journal:

PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association

Year:

1978

Language:

english

File:

PDF, 1.29 MB

english, 1978

35

Set-theoretical Invariance Criteria for Logicality

Feferman, Solomon

Journal:

Notre Dame Journal of Formal Logic

Year:

2010

Language:

english

File:

PDF, 259 KB

english, 2010

36

Does Mathematics Need New Axioms?

Feferman, Solomon

Journal:

American Mathematical Monthly

Year:

1999

Language:

english

File:

PDF, 1.15 MB

english, 1999

37

Beyond the Pale (The Holocaust in the North Caucasus) || The Holocaust on Soviet TerritoryâForgotten Story? Individual and Official Memorialization of the Holocaust in Rostov-on-Don

Brooks, Crispin, Feferman, Kiril

Year:

2020

File:

PDF, 171 KB

2020

38

Systems of explicit mathematics with non-constructive μ-operator. Part I

Solomon Feferman, Gerhard Jäger

Journal:

Annals of Pure and Applied Logic

Year:

1993

Language:

english

File:

PDF, 1.35 MB

english, 1993

39

Representability op recursively enumerable sets in formal theories

A. Ehrenfeucht, S. Feferman

Journal:

Archive for Mathematical Logic

Year:

1960

Language:

english

File:

PDF, 269 KB

english, 1960

40

1 — Consistency and faithful interpretations

S. Feferman, G. Kreisel, S. Orey

Journal:

Archive for Mathematical Logic

Year:

1962-1963

Language:

english

File:

PDF, 620 KB

english, 1962-1963

41

Epitope Spreading to Hidden Cytoplasmic Regions of the Acetylcholine Receptor in Experimental Autoimmune Myasthenia Gravis

TALI FEFERMAN, SIN-HYEOG IM, SARA FUCHS, MIRIAM C. SOUROUJON

Journal:

Annals of the New York Academy of Sciences

Year:

2003

File:

PDF, 83 KB

2003

42

Volume Two: Symposia and Invited Papers || Why a Little Bit Goes a Long Way: Logical Foundations of Scientifically Applicable Mathematics

Solomon Feferman

Journal:

PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association

Year:

1992

Language:

english

File:

PDF, 404 KB

english, 1992

43

AXIOMS FOR DETERMINATENESS AND TRUTH

FEFERMAN, SOLOMON

Journal:

The Review of Symbolic Logic

Year:

2008

Language:

english

File:

PDF, 96 KB

english, 2008

44

Degrees of Unsolvability Associated with Classes of Formalized Theories

Solomon Feferman

Journal:

Journal of Symbolic Logic

Year:

1957

Language:

english

File:

PDF, 480 KB

english, 1957

45

On Recursive Models of Formalised Arithmeticby A. Mostowski

Review by: Solomon Feferman

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 359 KB

english, 1958

46

A Hierarchy of Formulas in Set Theoryby Azriel Lévy

Review by: Solomon Feferman

Journal:

Journal of Symbolic Logic

Year:

1968

Language:

english

File:

PDF, 344 KB

english, 1968

47

[Studies in Logic and the Foundations of Mathematics] Logic Colloquium '78, Proceedings of the colloquium held in Mons Volume 97 || Constructive Theories of Functions and Classes

Feferman, Solomon

Year:

1979

Language:

english

File:

PDF, 3.12 MB

english, 1979

48

Original Articles

FEFERMAN, KIRIL

Journal:

Journal of Genocide Research

Year:

2003

Language:

english

File:

PDF, 140 KB

english, 2003

49

A new approach to abstract data types, I Informal development

Feferman, Solomon

Journal:

Mathematical Structures in Computer Science

Year:

1992

Language:

english

File:

PDF, 6.46 MB

english, 1992

50

Mathematical Logic || Historical Introduction

Feferman, Solomon

Year:

2001

Language:

english

File:

PDF, 555 KB

english, 2001